#ifndef __STDIO__STDIO_H__
#define __STDIO__STDIO_H__

/*PROTECTED REGION ID(public_stdio_h) ENABLED START*/


    // This is a protected region as long as you keep the marks :-)
#ifdef CONFIG_OS_ERCOS
	#include <public/printf.h>
#else
	#include <stdio.h>
#endif

/*PROTECTED REGION END*/

#endif // __PUBLIC__STDIO_H__
